perm filename STOTAP.PRE[WEB,ALS] blob
sn#648282 filedate 1982-03-19 generic text, type T, neo UTF8
*~
↔_4\l∃ "V⊗p2≥↔2YN&x6TnFλ7→Mw⊂2∃-fH;→.'_4]∂∩p#~-F(9X.&(9→,6x9→V 4[NF@9→,V 4↑lW⊂2[NF07\MVλ:≤ee 4→/G⊂9]∞G87YMw⊂6X.G_0\LV(<≤
Fλ4[LV 7[NF@2X.G 0Xmε(2≤mε(2]¬d04[W_;Z.F@2↑∞F(7≤m⊗x7≤mv0↔∀h∀H7\Edh#_.&(9→.π⊂7Y∞V_2YW@0XnF`<X.7 4→/⊗(<~.7 7[Mw(9~-g 2\Mfλ6∨
F(9KJF@2\LVH9[Mw0YFH7→lfx9≤mεx9≥
FH7→.6x9_MFx1Zn2`6~-f(9[,↔H1→-Fx7→lW⊂:~⊗p≤6λ9_,7 2\N2`0[LF_0\N&H0YlW⊂2]∞W⊂7≤l⊗p2≠
⊗p2YLV(2≤l↔⊂2Z-f_6≥,F(2JF@2←
F(9X.&(4[NF@2[n& 2\N6@7]mb@9→,⊗ 4[Lvλ1\Mw_9X-FH7→,↔ 0]
⊗h2J%g 2↑
⊗p8_.6_0[ ∀p*∀Irp*⊃+¬ "V¬e TjD(,∀
$(↔∀λ∃_)V*4 "T¬e Tj5H)LFαp(⊂*5 "V¬e_*∀JD(,∀
$(↔∀jE⊂)V*4 "T¬e_*∀H∃_!R)∩p*⊂ID +∩*EH(J∧λ)Q
dH$SHbp*⊃+π_0[.ε`2\hdx'KJD(,⊃itx#⊗%e "V ∀p*∀Irp*⊃+∧p#Sit0,KJD(,⊃Itx↔⊃*%⊂#Sit0,KHU⊂)∩)e )∪ed()∀Id8'SheH↔⊃*%⊂#∪irp*⊗&$0'See ,Tλtx'QK∩p*⊗&$8'SheH↔∃∪_#Sit0,KJEH(⊃Itx↔⊃
dH#Sit0,KHE0$R)e )∪ed +∩)d8'SheH↔⊃
dH:→MT_&P*D@,JD0&PiT⊂_L¬e #∪(4h!&"p*⊃IT_&PFRp*⊃IT_&PFbp*⊃IT_&PFrp*⊃IT_&PGαp*⊃IT_&PG∩p*⊃IT_&PI∪λ_JD0&PiT⊂'V¬e #∪(4h!∀f∪↔∃λdh!S(%_,KJD0&PiT⊂*JD0&PiT⊂*∩%e #∪(4h!Th2p*⊃IT_&Pj4_≤KJD0&PiT *SIαp*⊃IT_&QHbp*⊃IT_&QI∀⊂↔∃λdh!S)∪λ_JD0&PiTH~KJD0&PiTH≠JD0&PiTH≠KJD0&PiTH≤JD0&PiTH≤KJD0&PiTH*JD0&PiTh*L&αp*⊃IT_&S*S8↔∃λdh!S)d(+KJD0&PiTp"Uj2p*⊃IT_&SiD ↔∃λdh!S)t`"∩%e #∪(4h)&αp*⊃IT_&TF∪⊂↔∃λdh!S*#λ≤JD0&PiU⊂→L¬e #∪(4h)
εαp*⊃IT_&TFRp*⊃IT_&TFbp*⊃IT_&TFrp*⊃IT_&TGαp*⊃IT_&TG∩p*⊃IT_&TJBp*⊃IT_&Tf∪↔∃λdh!S*38↔∃λdh!S*3@↔∃λdh!S*3H↔∃λdh!S*4λ_L¬e #∪(4h)Pf∪↔∃λdh!S*4_≤KJD0&PiU_)L&αp*⊃IT_&Tj3λ→JD0&PiU_)L&Bp*⊃IT_&Tj3@↔∃λdh!S*5_≤⊂Ee #∪(4h)Tg∩p*⊃IT_&Tj3H!JD0&PiU_)PEe #∪(4h)Tj2p*⊃IT_&Tj5_≤JD0&PiU_)Tg∩p*⊃IT_&TjBp*⊃IT_&Tk∪λ_JD0&PiU_,M%e #∪(4h)V&bp*⊃IT_&Tk∪8↔∃λdh!S*5H≤JD0&PiU_,N%e #∪(4h)V*Bp*⊃IT_&U ∪λ_JD0&PiU $L&"p*⊃IT_&U ∪8↔∃λdh!S*DH≤JD0&PiU $N%e #∪(4h*∩*D`↔∃λdh!S*E ↔∃λdh!S*E ≤JD0&PiU *∞%e #∪(4h*L&αp*⊃IW<≠λ4h U ¬@↔&3_∀∧`!S(#λ_F∪__
¬@&⊂iT⊂_LEcλ→Lε¬,∪λ4h!
%cλ→Lε¬,∪λ4h!
Ecλ→Lε¬,∪λ4h!
ecλ→Lε¬,∪λ4h!∞¬cλ→Lε¬,∪λ4h!∞%cλ→Lε¬,∪λ4h"∃)d@↔&3_∀∧`!S)∪λ_F∪__
¬@&⊂iTH~KF∪__
¬@&⊂iTH≠F∪__
¬@&⊂iTH≠KF∪__
¬@&⊂iTH≤F∪__
¬@&⊂iTH≤KF∪__
¬@&⊂iU⊂_L¬cλ→Lε¬,∪λ4h)&"p_Lfβ(⊗ D_&TF∪@↔&3_∀∧`!S*#(↔&3_∀∧`!S*#0↔&3_∀∧`!S*#8↔&3_∀∧`!S*#@↔&3_∀∧`!S*#H↔&3_∀∧`!S*3λ_F∪__
¬@&⊂iU_≠KF∪__
¬@&⊂iU_≤F∪__
¬@&⊂iU_≤KF∪__
¬@&⊂iU_!L&αp_Lfβ(⊗ D_&Th3H↔&3_∀∧`!S*5__LEcλ→Lε¬,∪λ4h)Tgαp_Lfβ(⊗ D_&Tj4⊂↔&3_∀∧`!S*5_)N¬cλ→Lε¬,∪λ4h)V&∪↔&3_∀∧`!S*5H~KF∪__
¬@&⊂iU_,MEcλ→Lε¬,∪λ4h)V&rp_Lfβ(⊗ D_&Tk∪@↔&3_∀∧`!S*5H≤KF∪__
¬@&⊂iU $L&αp_Lfβ(⊗ D_&U ∪H↔&3_∀∧`!S*DH*∪¬cλ→Lε¬,∪λ4h*∃¬cλ→Lε¬,∪λ4h*∃παp_Lfβ(⊗ D_&U
CH↔&3_∀∧`!S*Sλ_F∪__
¬@&≤l⊗H&QI∧ )J4λ$S(e)⊃%e_ R)T0)V*2p)P)∀h#∪JE⊂(J4λ$S(d⊂ ThRp)P)∀h#∀H∃_*J4λ$S(dx*U¬e_ R)T0#Fαp)P)∀h#⊃I∀`↔∀h∀H&QHDx+∀Ee_ R*¬⊂"Tj4x↔∀h∀H6[n&(6Y.Fλ3≠mg <;kh`w¬zp_wε←λwπ
pwπ/@wWH∞p∂∪@∞x/#≥ax∂≥bH@]bX≠@⎇bp"⎇cλHA⎇c8≥@⎇cPεA≥c`P=u`∀;B∀0α;BFλ↓;Bhpβ{C@0{CWpα;D∞_β;DTP;Db0β{E;λ↓;Efλ↓{F⊃0;F→(;F(H;F8Xβ;Gπ0↓;G*_∧;H P{H&↓;HIXβ{k(⊂wαy(w∧α⊂ w∧l0_w¬SHwπ'@λwπ]0_wλA@λwλz0⊂w Zp⊂w
'0Hw∞⊂0w
&`λw
←⊂_w∞D@ w∂-Pλw∂m⊂⊂w⊂>@λw⊂ap(w⊃cp wV≠Np¬rNpπm≡pλ@`≡p 6`npβ@.p
Np∞gNp⊂+≡p⊃∪@np∪5 Np∀y ≡p∃l∞p⊗3@≡p↔$@↑p→) >p~r ≡p≠c!≡p≡m`.p ∀`}p"←nx+M]`Xd]`p9@⎇aλε↓≥a =]a0dB≥u i;B∀0↓;BA@↓{Bm8↓;C∩0{C,↓;CQhα;Dh↓;D*x{DN(β{E$λα{Eeλ;Ew0↓{F p{F;X;FNα{j↔8wαy⊂wβB λwβu@(wSz≡p¬r>pπPNpE`Np∞K≡p∩u}p⊗.`≡p→~@}p≤;`≡p∨z@np"?≡x'
⎇`Xd↓]aHB=b(jα=c⊂5α≥cxu≥do↓]d02@=t`C;A<@;AK`∧;i.wαy0wR'.p¬r∞pε'`↑pEa∞p∩u>p∀SNp→~A≡p∨z@∞p 0↑x#e≥`Xdα≥aH@⎇a`H↓≥b(jα=c⊂5≥c_ ↓=cxu≥d`↓=t(w{A<@∧;C⊃8∧;D] ∧;F&P;F4↓{FkH{G}Pβ;He⊂{hDHwαy_wβh⊂w∧4pλwε"p8wλ∩⊂λwPT>p¬r.x ?=`Xd]`poA]aHB≥b(jα≥c⊂5↓⎇cxu↓⎇sx,;A<@β{C⊃8β{D] β{F&P∧{G}P↓{HA⊂α;g[⊂wαyHwε"p@w :@8wM @w∂⎇ @wO↓Np¬r↓≡pEa≡p∩u}p→~A∞p∨zA∞x≥→]`Xd↓⎇aHA⎇b(j↓⎇c⊂5↓⎇cxu↓⎇s@`{A<@β{C⊃8∧{D] ∧;F&P∧;G}P∧{fqXwαy@wε"pHw :@@wM @w∂⎇ @wM.↑p¬r↓∞pEa∞p∩u}p→~@}p∨z@}x→s⎇`Xd↓⎇aHA⎇b(j]b@uA≥c⊂5α≥cxu↓⎇s⊂∃;A<@β{C⊃8β{D] ∧{F&P∧{G}P∧;fλ wαyHwε"pHw :@HwM @w∂⎇ HwK[np¬r↓∞pEa≡p∩u↓∞p→~A∞p∨zA≡x⊗N≥`Xdα=aHA⎇b(jα=c⊂5α≥cxuα≥rXI{A<@∧;C⊃8∧;D] ∧;F&P∧;G}P∧{e≡hwαyHwε"p@w :@@wM @w∂⎇ HwJλ}p¬r}pEa∞p∩u↓∞p→~A∞x∪(=`Xd]r };A<@↓;Amx¬;C⊃8ε;D] ε;F&P¬{G}P¬{d50wαyXwε"pXw :@XwM hw∂⎇ `wH6∞p¬r↓>pEa>p∩u↓>p→~A>p∨zA>x⊂α]`Xdβ≥aHC≥b(jβ≥c⊂5α⎇cxuα⎇qp2{A<@¬{C⊃8¬{D] ¬{F&Pε;G}P¬{cKxwαyXwε"pXw :@hwM `w∂⎇ hwFc≡p¬r↓NpEaNp∩u↓↑p→~A↑p∨zANx\⎇`Xdβ≥aHC≥b(jβ≥c⊂5β≥cxuβ=q8g;A<@ε;C⊃8ε{D] ¬{F&Pε;G}Pε;bb@wαy`wE⊂.p¬r.x 7≥`Xdα≥aHB≥b(jα≥c⊂5α=cxuα=qλ≠{A<@∧{C⊃8{C20β;D] ∧;F&P∧;G}P↓{H@@α{ayλwαyHwB∃}pλQ@?x>@ ∧6I)P8{kh`wλgP⊂w Cλw {P⊂>@`∧α6I↓ ␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x6YH4h U ¬@↔∪(d_&PF∪↔∪(d_&PF∪⊂↔∪(d_&PFRp&QH4h!
Edh#⊂iT⊂≠KIT0!S(#@↔∪(d_&PG∩p&QH4h!⊂*4(↔∪(d_&PI∪λ_IT0!S($x,IT0!S(%__L¬dh#⊂iT⊂)V%dh#⊂iT⊂*IT0!S(% $KIT0!S(5_!KIT0!S(5_!N%dh#⊂iT *SIαp&QH4h#⊃Edh#⊂iT0$PEdh#⊂iTH_L¬dh#⊂iTH~KIT0!S)∪0↔∪(d_&R&rp&QH4h$N¬dh#⊂iTH≤KIT0!S)∃ ↔∪(d_&S*Sλ_IT0!S)U(≠KIT0!S)d(+KIT0!S)d(+Tedh#⊂iTx&⊃¬dh#⊂iTx&⊃ ∩p&QH4h)&αp&QH4h)&"p&QH4h)'αp&QH4h)
εαp&QH4h)
%dh#⊂iU⊂≠IT0!S*#8↔∪(d_&TGαp&QH4h)∞%dh#⊂iU⊂*IT0!S*3λ_IT0!S*38↔∪(d_&Tgαp&QH4h)N%dh#⊂iU_ L&αp&QH4h)Pf∪↔∪(d_&Th3H↔∪(d_&Tj3λ_IT0!S*5__LEdh#⊂iU_)N¬dh#⊂iU_)Nλ"p&QH4h)Tg∩p&QH4h)Tg∀⊂↔∪(d_&Tj4⊂↔∪(d_&Tj5_↔∪(d_&Tj5_≤IT0!S*5_)N%dh#⊂iU_*IT0!S*5H_L¬dh#⊂iU_,M%dh#⊂iU_,MEdh#⊂iU_,Medh#⊂iU_,N¬dh#⊂iU_,N%dh#⊂iU_,U¬dh#⊂iU $L&αp&QH4h*∩&∪⊂↔∪(d_&U ∪8↔∪(d_&U ∪@↔∪(d_&U ∪H↔∪(d_&U ∃ &IT0!S*E ↔∪(d_&U
C@↔∪(d_&U
CH↔∪(d_&U&∪↔∪(d8)⊃(TX&IT0#THT(%U%dh#∩*Dλ&⊃¬dh#∩*Dλ&∩(2p&QI∃ S ∀8↔∪(dH*⊂)D`↔∪(dH*⊂)Dh)KIT0$Uλ∀`)KIT0$U T(,∃¬dh#∩*E "V
Bp&QITλ'⊃Ie ↔∪(dh U ∧ &IT0&P*D@"V¬dh#∪(∃ $∪jαp&QIT(,⊃+¬ ↔∪(e Q¬dh#∀λ∀ )KIT0(⊂h"p&QJ∧_!⊂*4(↔∪(e⊂'S(∀p↔∪(e⊂'S(∀p"IT0)∪iTλ'∪¬dh#∀Ith SJ2p&QJ$x&P)e(↔∪(e⊂'S(5_!KIT0)∪iT(,∃¬dh#∀Ith$Uλ∩p&QJ$x&R*D`↔∪(e⊂'S)∃ &KIT0)∪iTH*∀¬dh#∀Ith$U
2p&QJ$x&S ∀8↔∪(e_ R)D_&KIT0)Pj$H(∃¬dh#∀k∀h↔∪(e_,S($x&IT0)V)T(,∃¬dh#∃i∩p&QJtH)⊃&αp&QJtH)⊃&∩p&QJtH)⊃&"p&QJtH)⊃&2p&QK$h)V&∪↔∪(dh0\L6@_N%Cλ≤Nε <;kh`wαW0λwW≤np¬.`.pεt@↑p
:@}p∂:}p∀C np→B`np≡Gnx-P≥`P]A]a u↓]aptα≥bHεB≥c_¬@⎇c8→@⎇ch∞α≥uHM{A+Xβ{BNPβ;Cn@β{E⊂hβ{F0X∧;GQ`∧;j␈(wαW00w¬≥ 8wπ]8w
!P0wa00w∂#@0wUI}p¬.`np
:@np∂:np∀C!∞p→B`}p≡G}x**=`P]B≥a u↓⎇aptα≥bHεA⎇c_¬A⎇ch∞↓⎇u_α;A+Xβ{BNPβ;Cn@β;E⊂hβ;F0Xβ;GQ`β;j∃pwαW0⊂wβ: _w¬≥ 8wπ]0w
!P0wa00w∂#@@wSw∞p¬.a∞p
:@}p∂:↓∞p∀C!∞p→B`}p≡G↓∞x'∧]`P]A⎇a uα≥apt↓⎇bHεA⎇c_¬B≥ch∞α≥t`6{A+Xβ;BNP∧;Cn@β{E⊂hβ{F0Xβ{GQ`β{i,8wαW08w¬≥ 8wπ]@w
!P@wa08w∂#@8wR$≡p¬.`}p
:A∞p∂:np∀C }p→B`}p≡G}x#↑⎇`P]B≥a uα≥apt=b∨↓=bHε@=bP1↓]c_¬@=c 0↓]ch∞=cp9↓=t(k;A+X{AAλβ;BNP{Bdα{Cn@∧;E⊂h∧;F0X∧;GQ`{Gs(β;hCwαW0λwβ~@0w¬≥ λw¬`00wπ]@w
!Pw
; wa0w{(w∂#@(wPQ.p¬.a∞p
:@∞p
w@np∂:∞p∂w}p∀C ∞p∃ }p→B`∞p→␈`}p≡G∞p∨∧}x 9≥`P]@≥`XWA⎇a u≥a(o↓⎇apt≥axn⎇b_=@⎇bHε@≥bPA⎇c_¬@≥c_␈A⎇ch∞≥cpλ↓⎇sx∨{A+X;A:xβ{BNP;B]pβ{Cn@↓{D≡Xα;E⊂h∧;F0Xα{GQ`∧;gYHwαW0@w¬≥ wπ]8w
!P8wa08w∂#@8wN}>p¬.a∞x∧<⎇`peA≥a_
@]a(&d∂x>@ ↓z6I⊗ ␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x∧0λ∨`T_&Pj4_≥ ␈( ∧⊂@∨`4_&T@≥ ␈( ↓`∧`8↓
0 X 5`p``?␈xL0F4` λ␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈xε≤nFx:_.αp8≤LW_9@¬⊂.' ⊂∀l⊗h:Y-@
∪,↔⊂1Z∧βλ≤K∧βλ≤Nε"⊂λ∧βλ_∞F3@≥F